%0 Conference Proceedings
%4 dpi.inpe.br/plutao/2012/11.28.17.33.53
%2 dpi.inpe.br/plutao/2012/11.28.17.33.54
%F lattes: 5039690360728170 1 SantiagoJúniorVijFerGuiCos:2012:AuMoTe
%T GTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines
%D 2012
%A Santiago Júnior, Valdivino Alexandre de,
%A Vijaykumar, Nandamudi Lankalapalli,
%A Ferreira, Érica,
%A Guimarăes, Danielle Souza,
%A Costa, Raffael Carvalho da,
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@electronicmailaddress valdivino@das.inpe.br
%B Congresso Brasileiro de Software: Teoria e Prática, 3 (CBSoft).
%C Natal-RN
%8 2012
%P 25-30
%S Anais
%@language en
%3 santiago junior_gtsc.pdf